Koha online catalog › Results of search for 'su:"Logic"'

	1.	Software engineering 1 : abstraction and modelling. by Bjorner, Dines \| Bjorner, Dines. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2006Availability: Items available for loan: [Call number: 005.1 BJO] (1). Place hold
	2.	Elements of finite model theory by Libkin, Leonid. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 511.3 LIB] (1). Place hold
	3.	Temporal logic and state systems by Merz, Stephan \| Kroger, Fred. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 160 KRO] (1). Place hold
	4.	Modelling distributed systems by Fokkink, Wan. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 003.78 FOK] (1). Place hold
	5.	Decision procedures : an algorithmic point of view by Kroening, Daniel \| Strichman, Ofer. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 518.1 KRO] (2). Place hold

Koha online